proving correctness
英 [ˈpruːvɪŋ kəˈrektnəs]
美 [ˈpruːvɪŋ kəˈrektnəs]
【计】验证正确性
双语例句
- The archaeologists'efforts are not directed at proving the correctness of the Bible any more than belief in God can be scientifically demonstrated.
考古学家的努力并不是要“验证”圣经的正确性，正如信仰上帝不能从科学上证明一样。 - Proving the Correctness of a Computer Program by means of a Transformation Relation of the Loop Body
利用循环体转换关系式的程序证明法 - Proving Programs Correctness by a Generalized mathematical Induction Method
广义数学归纳法证明程序的正确性 - Then, it addresses the problems of cluster file system sharing semantics, the content of research includes the followings: building the file system cache coherence protocol, proving correctness of file sharing semantics, and file sharing semantics testing.
作为本文的研究重点之一，在机群文件系统共享语义研究方面，从文件缓存协议构造、语义正确性证明和共享语义测试等方面对机群文件系统共享语义的关键问题进行了深入探讨。 - Research on Some Problems about Proving the Correctness of Programming
程序正确性验证的几个问题 - Some Common Methods in Proving Correctness of Inequality
证明不等式正确性的几种常用方法 - Strand space theory is a method for stating and proving correctness properties for cryptographic protocols.
串空间理论是一种新兴的用于密码协议形式化分析的方法。 - Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;
提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明； - A Method of Proving the Correctness of Hgh Order Pseudo-Random Sequence
验证高阶伪随机序列正确性的一种方法 - The results show that after compensation, transformer loss is somewhat reduced, transformer primary average power is also reduced and the corresponding power factor is raised, proving the correctness of its calculation method.
结果表明，补偿后变压器损耗有所下降，变压器一次侧平均功率也有所下降，对应的功率因数上升了，证明了其计算方法的正确性。 - Several heuristic rules and the proving of their correctness are given.
具体地给出若干启发式控制规则，并证明了这些规则的正确性。 - This paper initially realized the basic functions of the hydraulic circuit of the by-wire steering, obtained analog signal data and graphics, proving the correctness of the design of the by-wire hydraulic system.
初步实现了线控液压转向的液压回路基本功能，得出了相关信号数据和图形，验证了线控液压系统设计的正确性。 - To overcome the limitation of simulation, designers turned to a variety of formal verification methods, such as model checking, theorem proving and equivalence inspection and so forth. Using formal verification methods can guarantee the design correctness.
为了克服模拟验证的局限性，设计者求助于各种形式化的验证方法，如模型检验、定理证明和等价性检验等，使用形式化验证方法可以有效地保证设计的正确性。 - The design and analysis of the topology discovery algorithm are given with proving of completeness and correctness. At last, the design and implementation of simulation software are given and the experiment using the simulation software.
本文对拓扑发现算法进行了分析和设计，设计并实现了用于运行拓扑发现算法的拓扑发现模拟软件，并进行了相关的模拟实验。 - This dissertation takes Huadian Power International Corporation Limited as an example to conduct research, proving, and developing its theory and testify the correctness of the operation strategy. The dissertation proposed operation strategies for Huadian Power International Corporation Limited under a competitive circumstance. 1.
论文以A发电公司为具体案例进行实证性研究，验证和拓展了本论文所提出的理论和具体经营策略的正确性，提出了A公司在垄断到竞争背景下所应该采取的经营策略。 - Finally, through the proving of the correctness of this algorithm, a conclusion has been obtained that the bottom-up Minimum-Degree Spanning Tree algorithm is a first solution for the initial configuration of Degree-constrained Free Space Optical ( FSO) networks.
最后通过对算法的正确性论证，得出对于度受限的FSO网络初始化，自下而上最小度生成树算法是首选方法。 - Testing results of three holes intersection method and kaiser effect method in the same position are close, showing kaiser effect method ′ s practicability, also proving the correctness of the other point ′ s test results.
三孔交汇法和Kaiser效应法在相同位置处的测试结果比较接近，表明了Kaiser效应法的适用，也证明了其它测点测试结果的正确性。 - Formal method stares at the specification, develop-ment, checking and verification of software and hardware systems, specially for proving the correctness of programs and analyzing the safety of systems.
形式化方法主要研究软硬件系统的规格描述、开发过程、以及检测验证，特别是程序正确性证明和系统安全性分析。 - Proving and verification the functional correctness of complex distributed systems in many fields are important research problems in computer science.
由于分布式系统的固有复杂性，结合分布式系统的领域背景来证明和验证分布式系统的功能正确性一直是计算机科学领域的重要问题。